" Dion Mandrioli" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

keijiro (editor) ; gnesi, stefania (editor) ; mandrioli, dion (editor) araki

Категория: Компьютеры

6.54 Mb

#2

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Keijiro Araki, Stefania Gnesi, Dion Mandrioli

8.13 Mb